computer aided verification造句

例句与造句

1. He has also contributed to the area of computer aided verification and testing, where he laid the rigorous algorithmic and complexity-theoretic foundations of the field.
2. Yannakakis is known for his contributions to computer science in the areas of computational complexity theory, database theory, computer aided verification and testing, and algorithmic graph theory.
3. In W . A . Hunt and F . Somenzi, editors, " Proceedings of the 15th International Conference on Computer Aided Verification ( CAV 2003 ) ", LNCS 2725, pages 122 125, 2003.
4. It's difficult to find computer aided verification in a sentence. 用computer aided verification造句挺难的